Web Services Modeling and Composition Approach using Object-Oriented Petri Nets

نویسندگان

  • Sofiane Chemaa
  • Raida Elmansouri
  • Allaoua Chaoui
چکیده

Nowadays, with the emergence and the evolution of new technologies, such as e-business, a large number of companies are connected to Internet, and have proposed web services to trade. Web services as presented, are conceptually limited components to relatively simple functionalities. Generally, a single service does not satisfy the users needs that are more and more complex. Therefore, services must be made able to be composed to offer added value services. In this paper, a web services composition approach, modelled by Objects-Oriented Petri nets, is presented. In his context, an expressive algebra, which successfully solves the web services complex composition problem, is proposed. A java tool that allows automating this approach; based on a definite algebra and a G-nets meta-model, proposed by us, is developed.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Availability evaluation of Software architecture of object oriented Style using coloured Petri nets

Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...

متن کامل

Petri nets-based method to model and analyse the self-healing web service composition

Service composition is an important means for integrating the individual web services to create new value added systems that can satisfy complex requirements. Such applications are subject to unexpected failure owing to the distributive and heterogeneous environment of web service. In this paper, we propose a Petri nets-based method to model and analyse the self-healing service composition. Asp...

متن کامل

An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service

An approach for modeling Web service composition by Petri nets which is based on OWL-S is proposed. By this approach, first, control flow of the composite web service is modeled based on top-down method. Then data flow model is constructed with Petri nets according to data flow specification. After that, by using a bottom-up approach, synchronous composition, the data flow net of the composite ...

متن کامل

Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)

A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...

متن کامل

Specification and Verification of Views over Composite Web Services Using High Level Petri-Nets

This paper presents a high level Petri-Net approach for specifying and verifying views over composite Web service. High level Petri-Nets have the capacity of formally modeling and verifying complex systems. A view is mainly used for tracking purposes as it permits representing a contextual snapshot of a composite Web service specification. The use of the proposed high level Petri-Net approach i...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/1304.2080  شماره 

صفحات  -

تاریخ انتشار 2012